1. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7


2. Foundations of quantum programming /
پدیدآورنده : Mingsheng Ying
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Quantum computers
رده :
QA76
.
889


3. Foundations of quantum programming
پدیدآورنده : Ying, Mingsheng
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Quantum computers,، Programming languages )Electronic computers(
رده :
QA
76
.
889
.
Y56F6


4. Semantic techniques in quantum computation /
پدیدآورنده : edited by Simon Gay, Ian Mackie.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
رده :
QA76
.
889
.
S36
2010


5. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995

